Higher-order function - PDFSEARCH.IO - Document Search Engine

Higher-order function
Results: 126

#	Item
41	Implementing Closures in XSLT/XPath 3.0 Add to Reading List Source URL: www.xfront.com Language: English - Date: 2012-11-17 18:09:06 Subroutines Functional programming Lambda calculus Anonymous function Closure Function Higher-order function XSLT Haskell 98 features Software engineering Computing Declarative programming
42	CS109A Notes for LectureCurried Functions In principle, all functions take one argument, but the argument may be a tuple. However, it is also possible to dene a function Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 01:01:28 Higher-order functions Functional programming Functional languages Procedural programming languages Subroutines Fold Polymorphism ML Function Software engineering Declarative programming Computing
43	A Theory of Changes for Higher-Order Languages Incrementalizing λ-Calculi by Static Differentiation sum 0 the derivative of sum. It is a function in the same language of sum, accepting and producing changes, which are s Add to Reading List Source URL: www.informatik.uni-marburg.de Language: English - Date: 2014-02-11 05:05:30 Differential calculus Symbol Denotational semantics Laplace transform Orbifold Chain rule Mathematical analysis Mathematics Derivative
44	Specialization through Dynamic Staging Piotr Danilewski1,2 Marcel Köster1 Roland Leißa1 1,2,3 Richard Membarth Add to Reading List Source URL: graphics.cg.uni-saarland.de Language: English - Date: 2014-08-19 12:57:10 Functional programming Lambda calculus Subroutines Higher-order functions Continuation-passing style Continuations Anonymous function Parameter Monad Software engineering Declarative programming Computer programming
45	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) A verified framework for higher-order uncurrying optimizations Zaynah Dargaye · Xavier Leroy Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-12-15 04:00:36 Mathematics Functional programming Functions and mappings Currying Partial application Symbol Function Combinatory logic De Bruijn index Declarative programming Lambda calculus Software engineering
46	R-Gtk Bindings Duncan Temple Lang November 15, 2004 Abstract The Gnome desktop and related tools are becoming quite mature and are available on many machines and different platforms. Building GUIs within R is also becomi Add to Reading List Source URL: www.omegahat.org Language: English - Date: 2011-12-07 09:41:21 Subroutines Higher-order functions GTK+ Application programming interfaces Map Fold Main function Python GNOME Computing Software engineering Software
47	FOR INTERNAL SCRUTINY (date of this version: UNIVERSITY OF EDINBURGH COLLEGE OF SCIENCE AND ENGINEERING SCHOOL OF INFORMATICS FUNCTIONAL PROGRAMMING AND SPECIFICATION Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-05-12 04:27:31 Higher-order functions Recursion Fold Binary tree String Function Computing Mathematics Software engineering
48	From Variadic Functions to Variadic Relations A miniKanren Perspective William E. Byrd and Daniel P. Friedman Department of Computer Science, Indiana University, Bloomington, IN 47408 {webyrd,dfried}@cs.indiana.edu Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:48:15 Higher-order functions Fold Recursion Variadic function Functional programming FO Function Arity Append Software engineering Computing Computer programming
49	A Variadic Extension of Curry’s Fixed-Point Combinator Mayer Goldberg ()∗ Department of Computer Science Ben Gurion University, Beer Sheva 84105, Israel Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:29 Lambda calculus Subroutines Recursion Higher-order functions Functional programming Fixed-point combinator Variadic function Combinatory logic Fold Software engineering Computing Declarative programming
50	A lower bound on the higher order nonlinearity of algebraic immune functions Claude Carlet, INRIA Projet CODES, BP 105, 78153 Le Chesnay Cedex, France e-mail: also member of the University of Paris Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2005-12-29 12:10:10 Jet Singularity theory E-function Field extension Mathematical analysis Algebraic structures Abstract algebra Mathematics Differential geometry

UPDATE